Notation and terminology

• Essential and non-essential features
• Error situations and unspecified behavior
• Entry format
• Evaluation examples
• Naming conventions